4

Classification of instruments for cryosurgery

Year:
1971
Language:
english
File:
PDF, 191 KB
english, 1971
6

Recursive generation of locally complete tests

Year:
1992
Language:
english
File:
PDF, 400 KB
english, 1992
7

Simple-fault checking for automata generated by a fault function

Year:
1995
Language:
english
File:
PDF, 552 KB
english, 1995